Software system safety - PDFSEARCH.IO - Document Search Engine

Software system safety
Results: 864

#	Item
171	OCaml + XDuce Alain Frisch INRIA Rocquencourt Abstract Add to Reading List Source URL: www.cduce.org Language: English - Date: 2013-12-06 16:18:27 Programming language theory OCaml Type system ML Subtype polymorphism Type inference System F Lambda calculus Type safety Software engineering Type theory Computing
172	Microsoft Word - Application of CAST and STPA to Railroad Safety in China Add to Reading List Source URL: sunnyday.mit.edu Language: English - Date: 2012-05-14 11:06:29 Train protection systems Systems engineering Software quality Chinese Train Control System Communications-based train control System safety Hazard analysis Accident analysis Safety culture Transport Safety Land transport
173	Beyond Bug-Finding: Sound Program Analysis for Linux Zachary Anderson,1 Eric Brewer,1 Jeremy Condit,1 Robert Ennals,2 David Gay,2 Matthew Harren,1 George C. Necula,1 Feng Zhou1 1 2 Add to Reading List Source URL: www.barnowl.org Language: English - Date: 2007-05-18 18:24:14 Data types Cross-platform software Software bugs Linux Linux kernel Kernel Type system Operating system Type safety Computing Software Type theory
174	Microsoft Word - CR-CoverTitlepage.docc.doc Add to Reading List Source URL: sunnyday.mit.edu Language: English - Date: 2012-05-20 19:36:53 Risk Safety engineering Software quality Design for X Hazard analysis Air traffic control Fault tree analysis Federal Aviation Administration National Airspace System Safety Reliability engineering Systems engineering
175	NFPA 1600 Standard on Disaster/Emergency Management and Business Continuity Programs 2007 Edition Add to Reading List Source URL: www.ifi-home.info Language: English - Date: 2012-07-09 00:12:56 Firefighting in the United States Standards organizations Business continuity National Fire Protection Association Disaster recovery Federal Emergency Management Agency Incident Command System Operations Plus WMD Emergency management software Public safety Emergency management Management
176	Microsoft Word - aboutsven13.doc Add to Reading List Source URL: thebot.org Language: English - Date: 2008-04-07 21:27:16 Public safety Crime prevention French words and phrases Sousveillance Closed-circuit television Facial recognition system Steve Mann Software PageRank Surveillance Security National security
177	Affiliated Helps Fire Safety Services Increase Productivity, Reduce Costs and Improve Customer Service with Integrated IT Network and CRM Solution Introduction Aging computer system a drag on Add to Reading List Source URL: aresgrp.com Language: English - Date: 2011-10-05 15:23:34 Business software Microsoft Dynamics CRM Microsoft Dynamics Microsoft Email ERP software Information technology management Business Computing
178	Solutions a step ahead. Service by your side. Safety System Software - AE REMETREX® Safety AE is a web-based, enterprise level adverse event management system, designed for seamless data integration and linking with RE Add to Reading List Source URL: www.remetrex.com Language: English - Date: 2009-03-02 16:21:01 Adverse event Technology Business Science MedDRA Pharmacology Report
179	Fluid NMR - Performing Power/Reliability Tradeoffs for Applications with Error Tolerance John Sartori, Joseph Sloan, Rakesh Kumar – UIUC ABSTRACT N-modular redundancy (NMR) [1] has long been the Add to Reading List Source URL: www.sigops.org Language: English - Date: 2009-08-20 12:05:17 Engineering Software quality Reliability engineering Safety Redundancy Error detection and correction Fault-tolerant system Triple modular redundancy Nuclear magnetic resonance Fault-tolerant computer systems Computing Systems engineering
180	Microsoft Word - aboutsven13.doc Add to Reading List Source URL: deprogramming.us Language: English - Date: 2008-04-07 21:27:16 Public safety Crime prevention French words and phrases Sousveillance Closed-circuit television Facial recognition system Steve Mann Software PageRank Surveillance Security National security

UPDATE